1. Algorithms and computation : 6th International Symposium, ISAAC'95, Cairns, Australia, December 4-6, 1995 : proceedings
پدیدآورنده : John Staples...]et al.[
کتابخانه: (طهران)
موضوع : Congresses ، Computer algorithms,Data processing -- Congresses ، Numerical analysis
رده :
QA
76
.
L28
Vol
.
1004
2. Analytic computational complexity
پدیدآورنده : Symposium on Analytic Computational Complexity, 5791, Carnegie-Mellon University
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Numerical analysis-- Data processing-- Congresses,، Computational complexity-- Congresses
رده :
QA
297
.
S915
1975
3. Complexity of computation
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Machine theory-- Congresses,، Electronic data processing-- Mathematics-- Congresses,، Electronic data processing-- Numerical analysis
رده :
QA
267
.
C58
4. Complexity of computation
پدیدآورنده : edited by Richard M. Karp
کتابخانه: (طهران)
موضوع : Congresses ، Machine theory,Congresses ، Computer science -- Mathematics,Numerical analysis ، Electronic data processing
رده :
QA
267
.
C57
5. Complexity of computer computations; proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Electronic digital computers-- Progamming-- Congresses,، Electronic data processing-- Mathematics-- Congresses,، Electronic data processing-- Numerical analysis-- Congresses
رده :
QA
76
.
6
.
S92
1972
6. Computational and applied mathematics, I : algorithms and theory
پدیدآورنده : edited by C. Brezinski, U. Kulisch
موضوع : Mathematics - Data processing - Congresses,Numerical analysis - Data processing - Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
7. Computational & applied mathematics,i:algorithms & theory
پدیدآورنده : BREZINSKI,CLAUDE
کتابخانه: (طهران)
موضوع : MATHEMATICS-DATA PROCESSING-CONGRESSES , NUMERICAL ANALYSIS-DATA PROCESSING-
رده :
QA
76
.
95
.
C62
1991
8. Computational complexity
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Electronic data processing-- Mathemaitcs-- Congresses,، Electronic data processing-- Numerical analysis-- Congresses
رده :
QA
76
.
5
.
C671
1971
9. Computational mathematics, nanoelectronics and astrophysics :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Numerical analysis ; Data processing ; Congresses. ;
10. Computer aided proofs in analysis
پدیدآورنده : Kenneth R. Meyer, Dieter S. Schmidt, editors
کتابخانه: (طهران)
موضوع : Data processing -- Congresses ، Numerical analysis
رده :
QA
297
.
C638
1991
11. Computer aided proofs in analysis
پدیدآورنده :
موضوع : ، Numerical analysis-- Data processing-- Congresses
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
12. Computer aided proofs in analysis
پدیدآورنده : Kenneth R. Meyer, Dieter S. Schmidt, editors
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Data processing - Congresses ، Numerical analysis
رده :
QA
1
.
I52
v
.
28
13. Computer oriented analysis of shell structures: proceedings
پدیدآورنده : edited by Richard F. Hartung
کتابخانه: (طهران)
موضوع : SHELLS )ENGINEERING(-CONGRESSES , NUMERICAL ANALYSIS-CONGRESSES , ELECTRONIC DATA PROCESSING-
رده :
TA
660
.
S5
C66
1970
14. Computing methods in applied science and engineering, VII
پدیدآورنده : Edited by R. Glowinski, J. L. Lions
موضوع : Numerical analysis -- Data Processing -- Congresses,Parallel Processing (Electronic Computes) -- congresses,Engineering -- Data processing -- congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
15. Computing methods in applied sciences and engineering, 1977, I
پدیدآورنده : Third International Symposium, December 5-9, 7791 ; ]organized by[ IRIA LABORIA, Institut de recherche d'informatique et d'automatique ; edited by R. Glowinski and J.L. Lions
کتابخانه: (طهران)
موضوع : Data processing -- Congresses ، Numerical analysis,Congresses ، Science -- Data processing,Congresses ، Engineering -- Data processing
رده :
QA
297
.
I5
1977
16. Current trends in scientific computing : ICM 2002 Beijing Satellite Conference on Scientific Computing, August 15-18, 2002, Xi'an Jiaotang University, Xi'an, China
پدیدآورنده : Zhangxin Chen, Roland Glowinski, Kaitai Li, editors
کتابخانه: (طهران)
موضوع : Congresses ، Science -- Data processing,Data processing -- Congresses ، Numerical analysis
رده :
Q
183
.
9
.
I285
2002
17. Design and implementation of symbolic computation systems :
پدیدآورنده : John Fitch
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematics -- Data processing -- Congresses.,Numerical analysis -- Congresses -- Data processing.,System design -- Congresses.
18. Design and implementation of symbolic computation systems :
پدیدآورنده : A. Miola, (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematics-- Data processing, Congresses.,Numerical analysis-- Data processing, Congresses.,System design, Congresses.
رده :
QA76
.
9
.
S88
I576
1990
19. Design and implementation of symbolic computation systems: International Symposium DISCO' 90, Capri, Italy, April 10-12, 1990: Proceedings
پدیدآورنده : A. Miola, )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، System design,Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Numerical analysis
رده :
QA
76
.
L28
Vol
.
429
20. Design and implementation of symbolic computation systems : International Symposium DISCO 90, Capri, Italy, April 10-12, 1990 : proceedings
پدیدآورنده : A. Miola, )Ed.(
کتابخانه: (طهران)
موضوع : System design - Congresses , Mathematics - Data processing - Congresses , Numerical analysis - Data processing - Congresses
رده :
QA
76
.
9
.
S88
I576
1990
